Total Books: 1 - 2 /2
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III
The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...
Lee mas
On the Construction of Engineering Handbooks
This book is the first to reflect upon the question of how to construct a desktop handbook. It is demonstrated how concept ...
Lee mas
Total Books: 1 - 2 /2
